This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lire la suiteThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Lire la suiteConstitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suiteThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lire la suiteThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lire la suiteConstitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Lire la suiteThis book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
Lire la suiteThis book includes different issues related with: process and engineering of model transformations; model transformations ...
Lire la suiteThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteCoverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, ...
Lire la suiteThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lire la suiteThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lire la suiteThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lire la suiteThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
Lire la suite